{-# OPTIONS --type-in-type #-}
{-# OPTIONS --prop #-}
{-# OPTIONS --allow-unsolved-metas #-}

module category.shape.dot where

open import basic

open import category
open category-t
open iso-t
